Hybrid computer

Results: 617



#Item
91

to Go sets creative image lighting technology Die neuste Quadra Hybrid „RX“ Firmware Version ermöglicht die Fernbedienung fast aller Funktionen mit einem Computer. Zudem steuert sie die Gerätesicherheit und konstan

Add to Reading List

Source URL: www.profot.de

Language: German - Date: 2012-09-13 05:01:53
    92Demographics of Ukraine / Health insurance coverage in the United States

    Hybrid techniques for pedestrian simulations Christian Gloor, Dept. of Computer Science, ETH Zurich ¨ Pascal Stucki, Dept. of Computer Science, ETH Zurich ¨ Kai Nagel, Dept. of Computer Science, ETH Zurich

    Add to Reading List

    Source URL: www.strc.ch

    Language: English - Date: 2009-01-15 15:28:34
    93

    HD-rules: a hybrid system interfacing Prolog with DL-reasoners Włodzimierz Drabent1,3, Jakob Henriksson2, and Jan Małuszy´nski3 1 Institute of Computer Science, Polish Academy of Sciences,

    Add to Reading List

    Source URL: www.ceur-ws.org

    Language: English - Date: 2007-10-05 00:01:50
      94

      Aachen Department of Computer Science Technical Report Byzantine Fault Tolerance on General Hybrid Adversary Structures

      Add to Reading List

      Source URL: sunsite.informatik.rwth-aachen.de

      Language: English - Date: 2006-04-03 08:20:52
        95Computer hardware / Computer data storage / Computing / Computer storage devices / Computer storage media / Non-volatile memory / Memory management / Bcache / Solid-state drive / Hybrid drive / Page

        SUSE BU Presentation Template 2014

        Add to Reading List

        Source URL: www.susecon.com

        Language: English - Date: 2014-12-12 11:37:34
        96

        Hybrid Systems Verification and Robotics Andr´e Platzer Computer Science Department Carnegie Mellon University, Pittsburgh, PA

        Add to Reading List

        Source URL: symbolaris.com

        Language: English - Date: 2014-08-04 10:09:55
          97

          Future Generation Computer Systems–830 CHAT: the copy-hybrid approach to tabling夽 Bart Demoen a , Konstantinos Sagonas b,∗ a

          Add to Reading List

          Source URL: user.it.uu.se

          Language: English - Date: 2006-05-26 05:06:47
            98Cryptography / Computer security / Language-based security / KeY / Ciphertext indistinguishability / Universal composability

            A Hybrid Approach for Proving Noninterference and Applications to the Cryptographic Verification of Java Programs Ralf Küsters∗ , Tomasz Truderung∗ , Bernhard Beckert† , Daniel Bruns† , Jürgen Graf† and Chris

            Add to Reading List

            Source URL: grsrd.uni.lu

            Language: English - Date: 2013-04-09 08:10:38
            99

            On Probabilistic Results for the Discrepancy of a Hybrid-Monte Carlo Sequence Michael Gnewuch Department of Computer Science, University of Kiel, Christian-Albrechts-Platz 4, 24098 Kiel, Germany email:

            Add to Reading List

            Source URL: www.numerik.uni-kiel.de

            Language: English - Date: 2008-12-19 11:30:53
              100Computer performance / Data transmission / IOPS / Solid-state drive / CPU cache / Smart Response Technology / RAID / VRPM / Hybrid drive / Computer hardware / Computing / Cache

              White paper QNAP Turbo NAS with SSD Cache 1

              Add to Reading List

              Source URL: files1.qnap.com

              Language: English - Date: 2014-03-12 22:00:48
              UPDATE